%-------Identification

\NeedsTeXFormat{LaTeX2e}

\ProvidesPackage{ftl_extra}

%-------Package Loading

\RequirePackage{mathbbol}

% Commands i'm mostly sure are almost correct
\newcommand{\Acyclic}{\textbf{Acycle}}
\newcommand{\Dag}{\textbf{Dag}}
\newcommand{\Tree}{\textbf{Tree}}

\newcommand{\mult}{\textbf{mult}}


% Commands I'm guessing at
\newcommand{\Sx}{\mathcal{S}}
\newcommand{\classGen}{\Delta \Sx\param{Cl}}
\newcommand{\asstr}[1]{``#1''}
\newcommand{\oset}{\mathcal{O}}
\newcommand{\osetx}{\mathcal{O}_x}

\newcommand{\LClIntInit}{\mathcal{cl-init}}


\newcommand{\irule}[3]{
	#1 \hfill #3\\
	\hline \\
	#2 
}

\newcommand{\irulep}[4]{
	#1 \hfill [#3]\\
	\hline \\
	#2 \hfill #4
}

% Environments I'm guessing at



\newenvironment{template}[1]
	{
		\subsection*{Template X (#1)}
	}
	{}

\newenvironment{ftlgeneric}[1]
	{
		\subsection*{Generic X (#1)}
	}
	{}